161. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
162. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
163. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
پدیدآورنده : Alan J. Hu, Andrew K. Martin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
3312
164. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
پدیدآورنده : Mark D. Aagaard, John W. O'Leary )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
2517
165. Functional design errors in digital circuits
پدیدآورنده : / Kai-hui Chang, Igor L. Markov, Valeria Bertacco
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Digital integrated circuit--Testing,Digital integrated circuit--Design and construction,Integrated circuit--Fault tolerance,Integrated circuit--Verification
رده :
E-BOOK
166. Fundamentals of computer-aided circuit simulation
پدیدآورنده : McCalla, William J, William J. McCalla
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
167. Fundamentals of digital logic design: With VLSI circuit applications
پدیدآورنده : Douglas A. Pucknell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Integrated circuits - very large scale integration - Design and construction - Mathematical models,Logic design
رده :
TK
,
7874
,.
P85
,
1990
168. Fundamentals of digital logic design, with VLSI applications
پدیدآورنده : Douglas A. Pucknell
موضوع : Integrated circuits -- Very large scale integration -- Design and construction -- Mathematical models,Logic design
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
169. Fundamentals of digital logic design: with VLSI circuit applications
پدیدآورنده : Pucknell, Douglas A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Design and construction - Mathematical models ، Integrated circuits,، Logic design
رده :
TK
7874
.
P85
1989
170. GaAs technology and its impact on circuits and systems
پدیدآورنده : edited by D. Haigh and J. Everard
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Digital integrated circuits -- Design and construction,، Gallium arsenide semiconductors
رده :
TK
7871
.
15
.
G3
1989
171. Gallium arsenide digital circuits
پدیدآورنده : / by Omar Wing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Metal semiconductor field- effect transistors,Modulation- doped field- effect transistors,Gallium arsenide semiconductors,Digital integrated circuits- Design and construction- Data processing
رده :
TK7871
.
95
.
W56
1990
172. Gallium arsenide digital integrated circuit design
پدیدآورنده : Long, Stephen I.
موضوع : ، Digital integrated circuits- Design and construction,، Gallium arsenide semiconductors- Design and construction
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
173. Gallium arsenide digital integrated circuit design
پدیدآورنده : Stephen I. Long, Steven E. Butner
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Digital integrated circuits -- Design and construction,Gallium arsenide semiconductors -- Design and construction
رده :
TK
7874
.
L66
1990
174. Gallium arsenide digital integrated circuit design
پدیدآورنده : / by Stephen I. Long and Steven E. Butner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Digital integrated circuits- Design and construction,Gallium arsenide semiconductors- Design and construction
رده :
TK7874
.
L66
1990
175. Gallium arsenide digital integrated circuit design
پدیدآورنده : Long, Stephen I.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Digital integrated circuits -- Design and construction,، Gallium arsenide semiconductors -- Design and construction
رده :
TK
7874
.
L66
176. Gallium arsenide digital integrated circuit design
پدیدآورنده : Stephen I. Long, Steven E. Butner
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Digital integrated circuits -- Design and construction,Gallium arsenide semiconductors -- Design and construction
رده :
TK
7874
.
L66
1990
177. Gallium arsenide digital integrated circuits: a systems perspective
پدیدآورنده : Kanopoulos, Nick
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Design and construction ، Digital integrated circuits,Design and construction ، Gallium arsenide semiconductors
رده :
TK
7874
.
K345
1989
178. Gallium arsenidee digital integrated circuit design
پدیدآورنده : Long, Stephen I.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Design and construction ، Digital integrated circuits,، Gallium arsenide Semiconductors - Design and Construction
رده :
TK
7874
.
L66
1990
179. HDL with digital design :
پدیدآورنده : Nazeih Botros.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer hardware description languages.,Integrated circuits-- Design and construction-- Data processing.,Verilog (Computer hardware description language),VHDL (Computer hardware description language)
